Anil Nerode : rechercher sur Z-Library

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Année:

1994

Langue:

english

Fichier:

PDF, 1.47 MB

english, 1994

Computable Kripke Models and Intermediate Logics

Journal:

Information and Computation

Année:

1998

Langue:

english

Fichier:

PDF, 403 KB

english, 1998

Logic for Applications || Propositional Logic

Marek, V. Wiktor, Nerode, Anil, Remmel, Jeffrey B.

Année:

1997

Langue:

english

Fichier:

PDF, 14.63 MB

english, 1997

The Stable Models of a Predicate Logic Program

Journal:

The Journal of Logic Programming

Année:

1994

Langue:

english

Fichier:

PDF, 1.76 MB

english, 1994

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 813 || Pure Type Systems with definitions

Nerode, Anil, Matiyasevich, Yu. V.

Année:

1994

Langue:

english

Fichier:

PDF, 572 KB

english, 1994

[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || A dynamical simulation facility for hybrid systems

Grossman, Robert L., Nerode, Anil, Ravn, Anders P., Rischel, Hans

Année:

1993

Langue:

english

Fichier:

PDF, 668 KB

english, 1993

Mixed integer programming methods for computing nonmonotonic deductive databases

Bell, Colin, Nerode, Anil, Ng, Raymond T., Subrahmanian, V. S.

Journal:

Journal of the ACM

Année:

1994

Langue:

english

Fichier:

PDF, 2.43 MB

english, 1994

In Memoriam: Paul J. Cohen 1934-2007

Anil Nerode

Journal:

Bulletin of Symbolic Logic

Année:

2009

Langue:

english

Fichier:

PDF, 332 KB

english, 2009

[Lecture Notes in Computer Science] Logical Foundations of Computer Science — Tver '92 Volume 620 || Gentzen-style and Novikov-style cut-elimination

Nerode, Anil, Taitslin, Mikhail

Année:

1992

Langue:

english

Fichier:

PDF, 304 KB

english, 1992

[Studies in Logic and the Foundations of Mathematics] Harvey Friedman's Research on the Foundations of Mathematics Volume 117 || The Work of Harvey Friedman

Nerode, Anil

Année:

1985

Langue:

english

Fichier:

PDF, 360 KB

english, 1985

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 ||

Artemov, Sergei, Nerode, Anil

Année:

2018

Langue:

english

Fichier:

PDF, 7.00 MB

english, 2018

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 || The Completeness Problem for Modal Logic

Artemov, Sergei, Nerode, Anil

Année:

2018

Langue:

english

Fichier:

PDF, 338 KB

english, 2018

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 10703 || Interpretations of Presburger Arithmetic in Itself

Artemov, Sergei, Nerode, Anil

Année:

2018

Langue:

english

Fichier:

PDF, 264 KB

english, 2018

[Lecture Notes in Computer Science] Logical Foundations of Computer Science — Tver '92 Volume 620 || Graded modalities in epistemic logic

Nerode, Anil, Taitslin, Mikhail

Année:

1992

Langue:

english

Fichier:

PDF, 679 KB

english, 1992

Reducibility orderings: Theories, definability and automorphisms

Anil Nerode, Richard A. Shore

Journal:

Annals of Mathematical Logic

Année:

1980

Langue:

english

Fichier:

PDF, 1.55 MB

english, 1980

McNaughton games and extracting strategies for concurrent programs

Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 2.89 MB

english, 1996

Effective content of the calculus of variations I: Semi-continuity and the chattering lemma

Xiaolin Ge, Anil Nerode

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 1.13 MB

english, 1996

On the lattices of NP-subspaces of a polynomial time vector space over a finite field

Anil Nerode, J.B Remmel

Journal:

Yuri Matiyasevich, Anil Nerode

Année:

1996

Langue:

english

Fichier:

PDF, 3.51 MB

english, 1996

Preface

Journal:

Wolf Kohn, Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis

Année:

1996

Langue:

english

Fichier:

PDF, 55 KB

english, 1996

Viability in hybrid systems

Journal:

Suman Ganguli, Anil Nerode

Année:

1995

Langue:

english

Fichier:

PDF, 1.85 MB

english, 1995

Effective completeness theorems for modal logic

Journal:

Duminda Wijesekera, Anil Nerode

Année:

2004

Langue:

english

Fichier:

PDF, 527 KB

english, 2004

Tableaux for constructive concurrent dynamic logic

Journal:

Anil Nerode, Gerald Sacks

Année:

2005

Langue:

english

Fichier:

PDF, 705 KB

english, 2005

Preface

Journal:

Hajime Ishihara, Bakhadyr Khoussainov, Anil Nerode

Année:

1996

Langue:

english

Fichier:

PDF, 50 KB

english, 1996

Decidable Kripke models of intuitionistic theories

Journal:

Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode

Année:

1998

Langue:

english

Fichier:

PDF, 655 KB

english, 1998

Normal forms and syntactic completeness proofs for functional independencies

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 242 KB

english, 2001

Foreword

Ker-l Ko, Anil Nerode, Klaus Weihrauch

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 30 KB

english, 2002

Foreword

Anil Nerode, Ker-I Ko, Klaus Weihrauch

Journal:

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

Année:

1999

Langue:

english

Fichier:

PDF, 112 KB

english, 1999

Nonmonotonic rule systems with recursive sets of restraints

Journal:

Archive for Mathematical Logic

Année:

1997

Langue:

english

Fichier:

PDF, 405 KB

english, 1997

Experimental evaluation of loss perception in continuous media

Duminda Wijesekera, Jaideep Srivastava, Anil Nerode, Mark Foresti

Journal:

Multimedia Systems

Année:

1999

Langue:

english

Fichier:

PDF, 614 KB

english, 1999

Consistency properties and set based logic programming

Anil Nerode, Jeffrey B. Remmel

Journal:

Annals of Mathematics and Artificial Intelligence

Année:

2008

Langue:

english

Fichier:

PDF, 455 KB

english, 2008

Computing minimal models by partial instantiation

Vadim Kagan, Anil Nerode, V.S. Subrahmanian

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 1018 KB

english, 1996

A non-ground realization of the stable and well-founded semantics

Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V.S Subrahmanian

Journal:

Année:

1996

Langue:

english

Fichier:

PDF, 2.31 MB

english, 1996

Preface

Anil Nerode

Journal:

Bjørn Kjos-Hanssen, Anil Nerode

Année:

2004

Langue:

english

Fichier:

PDF, 135 KB

english, 2004

Effective dimension of points visited by Brownian motion

Journal:

Adian, Sergei, Nerode, Anil

Année:

2009

Langue:

english

Fichier:

PDF, 561 KB

english, 2009

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

Année:

1997

Langue:

english

Fichier:

PDF, 486 KB

english, 1997

Preface

Sergei Artemov, Anil Nerode

Journal:

Grossman, Robert L., Nerode, Anil, Ravn, Anders P., Rischel, Hans

Année:

2012

Langue:

english

Fichier:

PDF, 126 KB

english, 2012

[Lecture Notes in Computer Science] Hybrid Systems Volume 736 || Hybrid system modeling and autonomous control systems

Année:

1993

Langue:

english

Fichier:

PDF, 1.53 MB

english, 1993

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Viable control of hybrid systems

Antsaklis, Panos, Kohn, Wolf, Nerode, Anil, Sastry, Shankar

Année:

1995

Langue:

english

Fichier:

PDF, 967 KB

english, 1995

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Controllers as fixed points of set-valued operators

Antsaklis, Panos, Kohn, Wolf, Nerode, Anil, Sastry, Shankar

Année:

1995

Langue:

english

Fichier:

PDF, 930 KB

english, 1995

[Lecture Notes in Computer Science] Hybrid Systems II Volume 999 || Verification of hybrid systems using abstractions

Antsaklis, Panos, Kohn, Wolf, Nerode, Anil, Sastry, Shankar

Année:

1995

Langue:

english

Fichier:

PDF, 530 KB

english, 1995

[Proceedings of Symposia in Pure Mathematics] Recursion Theory Volume 42 ||

Nerode, Anil, Shore, Richard

Année:

1985

Langue:

english

Fichier:

PDF, 3.74 MB

english, 1985

[Proceedings of Symposia in Pure Mathematics] Recursion Theory Volume 42 || Unimonotone functions of finite types (Recursive functionals and quantifiers of finite types revisited IV)

Nerode, Anil, Shore, Richard

Année:

1985

Langue:

english

Fichier:

PDF, 2.16 MB

english, 1985

[Lecture Notes in Computer Science] Hybrid Systems V Volume 1567 || Phase-Space Nonlinear Control Toolbox: The Maglev Experience

Antsaklis, Panos, Lemmon, Michael, Kohn, Wolf, Nerode, Anil, Sastry, Shankar

Année:

1999

Langue:

english

Fichier:

PDF, 467 KB

english, 1999

Logic for Applications || Introduction

Année:

1997

Langue:

english

Fichier:

PDF, 1.49 MB

english, 1997

Logic for Applications || Elements of Set Theory

Année:

1997

Langue:

english

Fichier:

PDF, 12.98 MB

english, 1997

Logic for Applications || Modal Logic

Année:

1997

Langue:

english

Fichier:

PDF, 8.34 MB

english, 1997

Logic for Applications || Intuitionistic Logic